Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
401	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
402	Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Applied mathematics Algorithm Mathematical logic Finite-state machine Actor model I/O Automaton Cellular automaton Models of computation Automata theory Computer science
403	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton
404	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
405	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
406	An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:35 Logic programming Prolog Oz Logic Actor model Programming language First-order logic Indeterminacy in concurrent computation Logtalk Software engineering Computing Computer programming
407	UNIVERSITE PARIS. DIDEROT (Paris 7) SORBONNE PARIS CITE ¯ -calculus λλ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2014-01-16 12:44:23 Models of computation Lambda calculus Formal methods Logic in computer science Programming language Formal language Actor model Semantics Combinatory logic Applied mathematics Theoretical computer science Mathematics
408	jn2004[removed]Complexity: P & NP Goals of this chapter: Given a model of computation and a measure of complexity of computations, it is possible to define the inherent complexity of a class of problems. This is a lowe Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Complexity classes NP-complete problems Mathematical optimization Boolean algebra NP-complete Boolean satisfiability problem P versus NP problem NP Clique problem Theoretical computer science Computational complexity theory Applied mathematics
409	1. Models of computation jn[removed]Goals: An intuitive appreciation of the importance of the concept ‘model of computation’. Acquaintance with several interesting examples that mirror key aspects of realistic sy Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:16 Models of computation Computability theory Formal methods Neural networks Lambda calculus Algorithm Computability Perceptron Artificial neural network Theoretical computer science Applied mathematics Computer science
410	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Models of computation Model checkers Esterel Automata theory Model checking SIGNAL Theoretical computer science Uppaal Model Checker Computing Hardware description languages Synchronous programming languages Software engineering